Logical syntax - PDFSEARCH.IO - Document Search Engine

Logical syntax
Results: 623

#	Item
571	ON A DECIDABLE FRAGMENT OF PREDICATE CALCULUS Add to Reading List Source URL: suppes-corpus.stanford.edu Language: English - Date: 2008-11-05 20:24:12 Propositional calculus Proof theory Logical syntax First-order logic Monadic predicate calculus Decidability Well-formed formula Sequent calculus Proposition Logic Mathematical logic Predicate logic
572	VERIFICATION OR PROOF: JUSTIFICATION OF PYTHAGORAS’ THEOREM IN CHINESE MATHEMATICS CLASSROOMS Add to Reading List Source URL: www.emis.de Language: English - Date: 2006-02-06 19:19:30 Triangles Logical syntax Formal systems Logical truth Proof theory Pythagorean theorem Mathematical proof Theorem Pythagoras Logic Mathematics Geometry
573	Tarski’s Conceptual Analysis of Semantical Notions 1 Solomon Feferman Dedicated to the memory of Robert L. Vaught[removed]) Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2002-08-02 22:05:21 Model theory Philosophical logic Metalogic Predicate logic Logical syntax Alfred Tarski Function Axiom Löwenheim–Skolem theorem Logic Mathematics Mathematical logic
574	Curry’s Formalism as Structuralism∗ Jonathan P. Seldin Department of Mathematics and Computer Science Add to Reading List Source URL: people.uleth.ca Language: English - Date: 2005-09-09 19:46:46 Formal languages Metalogic Philosophy of mathematics Logical syntax Formalism Formal system Foundations of mathematics Formal proof Theorem Logic Mathematics Mathematical logic
575	INFERENTIALISM * draft * [removed] * Add to Reading List Source URL: jarda.peregrin.cz Language: English - Date: 2007-12-23 08:06:59** Semantics Philosophy of language Logical syntax Metalogic Inferential role semantics Robert Brandom Meaning Formal proof Truth Logic Philosophy Philosophical logic
576	ONTOLOGY, SEMANTICS, AND PHILOSOPHY OF MIND IN WITTGENSTEIN’S TRACTATUS : A FORMAL RECONSTRUCTION Add to Reading List Source URL: homepages.ipact.nl Language: English - Date: 2008-10-16 15:01:50 Logical syntax Formal languages Binary operations Philosophical logic Atomic sentence Structure Interpretation If and only if String Logic Mathematics Model theory
577	national academy of sciences Kurt GÖdel Add to Reading List Source URL: www.nasonline.org Language: English - Date: 2012-07-16 13:50:50 Model theory Predicate logic Formal languages Formal systems Logical syntax First-order logic Interpretation Axiom Well-formed formula Logic Mathematical logic Mathematics
578	CORRECTIONS TO LECTURES ON COARSE GEOMETRY JOHN ROE Add to Reading List Source URL: www.personal.psu.edu Language: English - Date: 2005-10-11 10:30:07 Entailment Logical consequence Logical syntax Metalogic Coarse structure Mathematical proof Logic Mathematics Deduction
579	ELECTRONIC RESEARCH ANNOUNCEMENTS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 3, Pages 78–82 (August 21, 1997) Add to Reading List Source URL: www.ams.org Language: English - Date: 2012-05-01 14:09:34 Logical syntax Philosophical logic Philosophy of language Theorems Look-and-say sequence Doron Zeilberger Mathematical proof Mathematics Logic Mathematical logic
580	Presentism and Ontological Commitment∗ Theodore Sider Add to Reading List Source URL: tedsider.org Language: English - Date: 2011-07-18 15:46:14 Philosophical logic Philosophy of time Veracity Time Logical syntax Philosophical realism Supervenience Modal logic Eternalism Logic Philosophy Metaphysics

UPDATE